FOLRE: Towards a System for the Integrated Treatment of Updates and Rule Enforcement in Deductive Databases

We overview the architecture of a newly-born deductive database management system that is to provide advanced update and rule enforcement capabilities within an integrated and theoretically well-founded framework. The system builds up on previous theoretical results and systems of others -for the semantics, query, storage and transaction management needsand of our own previous research and prototypes -for the advanced update and rule enforcement purposes. We hope that our approach will help to fill an important gap within current deductive database management systems prototypes and products.